新刊速递 | 《逻辑学研究》2023年第6期目录及摘要
逻辑学研究 2023 年第 6 期
第16卷（总第73期）2023年12月18日出版
双月刊 2008 年创刊
目 录
--英文目录--
Symposium: Conference of Modern Logic
Fengkui Qu
❖A Logic for Probabilities of Successive Events
Yanjun Li, Jiajie Zhao
❖Logics of Nonactual Possible Worlds
Jie Fan
❖Sahlqvist Correspondence Theory for Modal Logic with Quantification over Relations
Fei Liang, Zhiguang Zhao
❖On Types over p-adically Closed Fields
Ningyuan Yao, Zhentao Zhang
❖A Pragmatic Account for the Categorical Exchange between Content and Context
Yang Hu
❖The Interaction of Everyday Discourse and Professional Discourse
—A Study of Generalized Argumentation in the Medicalization of Sleep
Xiaoqi Zhang, Jiayi Luo, Qingci Chen
--中文目录--
专栏：现代逻辑会议
主持人：琚凤魁
❖关于概率中序列事件的逻辑
李延军，赵嘉洁
❖非现实可能世界的逻辑
范杰
❖带关系量化的模态逻辑的萨奎斯特对应理论
梁飞，赵之光
❖p-进闭域上型的研究
姚宁远，张镇涛
❖语义/语境范畴交换的语用解
胡扬
❖日常话语与专业话语的交互
——睡眠“医学化”的广义论证研究
张晓琪，罗佳怡，陈清泚
论文摘要
关于概率中序列事件的逻辑
李延军 （南开大学哲学院）
赵嘉洁 （南开大学哲学院）
摘要：在概率论的集合语言中，除了补、交、并等运算之外，还有一个重要的运算：乘积。两个基本事件的乘积表示这些事件连续发生。然而，关于概率的逻辑文献 中对序列事件的研究却比较少。在本文中，我们提出了一个模态逻辑（记为 DML） 来刻画概率论中关于序列事件的推理，然后我们在 DML 逻辑之上构造了一个概率逻辑（记为 ）。我们将 DML 与克里普克语义上的标准模态逻辑进行了 比较，并证明了 DML 等价于确定性模型类上的正规模态逻辑。最后，我们还给 出了 的演绎系统并证明了其完备性。
非现实可能世界的逻辑
范杰 （中国科学院哲学研究所，中国科学院大学人文学院）
摘要：在陈佳（2020）中，强可能性与弱必然性的逻辑被提出，并在许多框架类上被公理化。本文将称该逻辑为“非现实可能世界的逻辑”。然而，那里的完全性证 明非常复杂，其中涉及到在典范模型的构造中极大一致集副本的使用，以及其他 的考虑。在本文中，我们证明陈佳（2020）中某些系统的完全性可以通过翻译归 约为文献中一些熟悉系统的完全性，从而在这些系统之间架起一座桥梁。我们也 将探讨该逻辑的框架可定义性问题。
带关系量化的模态逻辑的萨奎斯特对应理论
梁飞（ 山东大学哲学与社会发展学院，山东大学概念与推理研究所，中山大学逻辑与认知研究所）
赵之光 （泰山学院数学与统计学院）
摘要：Lehtinen（2008）引入了新的关于模态公式的有效性概念，其中允许对所谓的“helper modalities”所对应的二元关系进行量化，并且其中的“boss modalities”类似于模态逻辑中的普通模态词，即被解释为克里普克（S. Kripke）框架中确定的 二元关系。本文研究了这一有效性概念的对应理论。针对这一有效性定义了一类萨奎斯特（Sahlqvist）公式，其中每个公式都存在其对应的一阶框架，并给出了相 应的 ALBARQ 算法来计算该类公式的一阶对应。
p-进闭域上型的研究
姚宁远（复旦大学哲学学院）
张镇涛（复旦大学哲学学院）
摘要：本文的目标是研究 p-进闭域上型。我们首先分类了 p-进闭域上的 1-型，该结果推广了 D. Penazzi，A. Pillay 和 N. Yao（2019）对于 p-进闭域的标准模型 Qp 上的型的分类。我们还进一步研究了“伪极限型”与“距离型”的正交性，这种正交性类似于序-极小结构上 1-型的“切割”与“非切割”正交性和二歧性。
语义/语境范畴交换的语用解
胡扬 （华南师范大学哲学与社会发展学院）
摘要：指代词语义理论（indexical semantics）的核心问题之一是语境如何决定指代词的语义内容（semantic content），这一问题的实质是语境范畴下的实体如何通过语义理论交换成语义范畴下的实体。卡普兰二维语义框架下，作为词汇学规则的“语征”（character）是实现这一交换的关键，但该方案有诸多困难。在维索尔伦语用学及其语境图示的基础上，“–总条件”和“–语用图示”为“语义”与“语 境”的范畴交换提供了词汇学规则以外的语用学解释。通过界定“对应点”，“距离函数”等概念，两类范畴交换模式得以呈现，即“正交换”和“偏交换”。两者让“指代词语义的语境解释”获得了一个明确的界定。这一语用学方案也存在多 个需要讨论的问题。
日常话语与专业话语的交互
——睡眠“医学化”的广义论证研究
张晓琪（集美大学马克思主义学院）
罗佳怡（广州大学公共管理学院社会学系）
陈清泚（广州大学公共管理学院社会学系）
摘要：睡眠已成为社会学家讨论的医学化的一个典型例子。已有研究揭示，大众媒体在睡眠医学化过程中扮演了重要角色，通过将专业医学知识转化为更易接近、普及的知识，实现了日常话语和医学话语之间的对话。为了进一步探讨这两种话语在医学化文本中是如何具体互动的，本文采用广义论证理论方法分析了华为睡眠监测智能手表的宣传文本。基于从华为“睡眠医学化”文本中提取的论证规则，研究发现日常话语和医学话语的交替轨迹围绕着受众认知状态的变化而展开，被精心设计以服务于论证分块功能，即从日常话语开始吸引受众，然后逐渐增加医学话语的使用以贩卖疾病，最后转回日常话语以提供日常生活中的解决方案。本研究有助于推进媒体话语中医学化问题的微观研究；基于研究发现建议广义论证理论与相关学科进一步协作，以揭示更为细微的话语规则，并在实践中更多地服务公众。